#deckedPanelsTabsContextMenu menuitem {
  font-size: smaller;
}
